Optimal Diagnostic Examination for Local Diagnosis

The paper deals with mesh-connected massively-parallel systems affected by failures. The complexity of a local diagnostic procedure, based on new deenitions of the local k-diagnosability and the r-fault-tolerance, is analysed. It depends on distances between individual fault clusters and on fault cluster diameters. In particular cases the minimum distance between fault clusters can be enlarged onto the account of the maximum fault cluster diameter, for example, by the merging of two clusters. The criterion function for the optimal diagnostic examination for local diagnosis is proposed.